Campagne de collecte 15 septembre 2024 – 1 octobre 2024 C'est quoi, la collecte de fonds?
1

Higher Order Unification via Explicit Substitutions

Année:
2000
Langue:
english
Fichier:
PDF, 481 KB
english, 2000
2

Proof of termination of the rewriting system subst on CCL

Année:
1986
Langue:
english
Fichier:
PDF, 407 KB
english, 1986
3

Confluence results for the pure strong categorical logic CCL. λ-calculi as subsystems of CCL

Année:
1989
Langue:
english
Fichier:
PDF, 4.50 MB
english, 1989
5

Eta-conversion for the languages of explicit substitutions

Année:
1994
Langue:
english
Fichier:
PDF, 1.24 MB
english, 1994
6

Eta-conversion for the languages of explicit substitutions

Année:
1995
Langue:
english
Fichier:
PDF, 36 KB
english, 1995
8

Functional back-ends within the lambda-sigma calculus

Année:
1996
Langue:
english
Fichier:
PDF, 883 KB
english, 1996
13

Theoretical Pearl Yet yet a counterexample for λ+SP

Année:
1994
Langue:
english
Fichier:
PDF, 133 KB
english, 1994
14

Functional runtime systems within the lambda-sigma calculus

Année:
1998
Langue:
english
Fichier:
PDF, 517 KB
english, 1998